three valued logic

三值逻辑